Pendulum type systems from computer algebra viewpoint

Type systems for computer algebra

I

Towards Type System by Computer Algebra Systems

Computer Algebra Systems (CAS) have been expanding the application area from fundamental science such as mathematics and physics to applied technologies such as mechanics, electronics, and financial engineering. However, it is still under way to integrate CAS features with Programming Language (PL) features, and we presume it is because the differences between these two computation models are s...

Operads from the viewpoint of categorical algebra

We exhibit a parallel between Lawvere’s algebraic theories and operads; there is a common ancestor of both notions whose syntax is described by labeled trees, dummy variables corresponding to special labels. Operads, cyclic and braided operads alike arise as group objects in the category of compositional structures. Laplaza’s coherence theorem for “associativity not an isomorphism” is seen to c...

Computer Algebra in Systems Theory

Computer Algebra in Systems Biology

Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for molecular biology and the development of advanced mathematical modeling techniques, this field promises to provide important new insights. At the same time, with the availability of increasingly powerful computers, c...